var xsj_1888486 = 9.0;